REF, NoConds
\\[0ex]($a$ THENA $b$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$(($a$) CollapseTHENA ($b$))$\cdot$